" Peter Ohrstrom" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Temporal Logic: From Ancient Ideas to Artificial Intelligence

Автор: Peter Ohrstrom, Автор: Per F.V. Hasle

Категория: Математика, Математическая логика

Размер книги: 2.93 Mb

Conceptual Structures: Inspiration and Application: 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21,

Автор: Henrik Schärfe, Автор: Pascal Hitzler, Автор: Peter Ohrstrom

Размер книги: 6.82 Mb